Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)

JOURNAL ARTICLE published 25 February 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Manfred Schmidt-Schauss

Tree games with regular objectives

JOURNAL ARTICLE published 24 August 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Marcin Przybyłko

Regular Expression Matching and Operational Semantics

JOURNAL ARTICLE published 13 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Asiri Rathnayake | Hayo Thielecke

Lazy AC-Pattern Matching for Rewriting

JOURNAL ARTICLE published 24 April 2012 in Electronic Proceedings in Theoretical Computer Science

Authors: Walid Belkhir | Alain Giorgetti

Categorical Semantics of Reversible Pattern-Matching

JOURNAL ARTICLE published 29 December 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Kostia Chardonnet | Louis Lemonnier | Benoît Valiron

Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching

JOURNAL ARTICLE published 21 May 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Martin Berglund | Frank Drewes | Brink van der Merwe

Conclusive Tree-Controlled Grammars

JOURNAL ARTICLE published 27 August 2022 in Electronic Proceedings in Theoretical Computer Science

Authors: Dominika Klobučníková | Zbyněk Křivka | Alexander Meduna

On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions

JOURNAL ARTICLE published 22 February 2019 in Electronic Proceedings in Theoretical Computer Science

Authors: Naoki Nishida | Yuya Maeda

An Implementation of Nested Pattern Matching in Interaction Nets

JOURNAL ARTICLE published 30 March 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Abubakar Hassan | Eugen Jiresch | Shinya Sato

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

JOURNAL ARTICLE published 1 September 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Dominic Orchard | Alan Mycroft

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

JOURNAL ARTICLE published 20 November 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Kazuki Miyahara | Kenji Hashimoto | Hiroyuki Seki

JOURNAL ISSUE published 7 February 2017 in Electronic Proceedings in Theoretical Computer Science

Editors: Naoki Kobayashi

Pattern Unification for the Lambda Calculus with Linear and Affine Types

JOURNAL ARTICLE published 11 September 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Anders Schack-Nielsen | Carsten Schürmann

Quotient Complexity of Regular Languages

JOURNAL ARTICLE published 30 July 2009 in Electronic Proceedings in Theoretical Computer Science

Authors: Janusz Brzozowski

Probabilistic regular graphs

JOURNAL ARTICLE published 28 October 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Nathalie Bertrand | Christophe Morvan

New Choice for Small Universal Devices: Symport/Antiport P Systems

JOURNAL ARTICLE published 25 June 2009 in Electronic Proceedings in Theoretical Computer Science

Authors: Sergey Verlan | Yurii Rogozhin

Intersection Types, Quantitative Semantics and Linear Logic

JOURNAL ARTICLE published 7 February 2017 in Electronic Proceedings in Theoretical Computer Science

Authors: Michele Pagani

Boolean Circuit Complexity of Regular Languages

JOURNAL ARTICLE published 21 May 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Maris Valdats

Games for Succinctness of Regular Expressions

JOURNAL ARTICLE published 17 September 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Miikka Vilander

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

JOURNAL ARTICLE published 26 November 2012 in Electronic Proceedings in Theoretical Computer Science

Authors: Alexandre David | Lasse Jacobsen | Morten Jacobsen | Jiří Srba